(в теоретической информатике)

См. также в других словарях:

• Знание (в информатике) — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …   Википедия

• Лауреаты премии Вольфа (математика) — У этого термина существуют и другие значения, см. Лауреаты премии Вольфа. Основная статья: Премия Вольфа Год вручения Лауреат Страна/организация За что присуждена премия 1978 Гельфанд И. М. Московский государственный университет, СССР за его… …   Википедия

• Премия Гёделя — (англ. Gödel Prize)  премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT (Special Interest Group on Algorithms and Computation Theory) и EATCS (European Association for… …   Википедия

• Натуральный логарифм — График функции натурального логарифма. Функция медленно приближается к положительной бесконечности при увеличении x и быстро приближается к отрицательной бесконечности, когда x стремится к 0 («медленно» и «быстро» по сравнению с любой степенной… …   Википедия

• Премия Крафорда — Премия Крафорда  одна из шести международных премий, вручаемых Шведской королевской академией наук. Учреждена шведским экономистом и промышленником Хольгером Крафордом и его супругой Анной Гретой в 1980 году. Крафорд (1908 1982) получил… …   Википедия

• Семенов, Алексей Львович — Ректор Московского института повышения квалификации работников образования; родился 13 октября 1950 г. в г. Москве; окончил МГУ в 1972 г., доктор физико математических наук, профессор; академик РАЕН, член Президиума РАЕН; специалист в области… …   Большая биографическая энциклопедия

• Недетерминированная машина Тьюринга — Машина Тьюринга Варианты машин Универсальная машина Тьюринга Квантовая машина Тьюринга en:Read only Turing machine en:Read only right moving Turing Machines Вероятностная машина Тьюринга Недетер …   Википедия

• Алгебра Клини — в теоретической информатике, специальная алгебраическая структура, введённая американским математиком Стивеном Клини, являющаяся обобщением алгебры регулярных выражений. Определение Алгеброй Клини называется алгебра сигнатуры , являющаяся… …   Википедия

• Теорема Кнастера — Тарского — теорема в теории множеств, впервые сформулированная в частном случае Брониславом Кнастером, и обобщённая Альфредом Тарским. Формулировка Частично упорядоченное множество называется полным, если оно содержит наименьший элемент, и каждая цепь в нём …   Википедия

• Тайцлин — Тайцлин, Михаил Абрамович Тайцлин, Михаил Абрамович доктор физико математических наук, профессор Доктор физико математических наук, профессор Профессор Тайцлин после окончания аспирантуры в Новосибирском институте математики защитил кандидатскую… …   Википедия

• Тайцлин, Михаил Абрамович — доктор физико математических наук, профессор Доктор физико математических наук, профессор Профессор Тайцлин после окончания аспирантуры в Новосибирском институте математики защитил кандидатскую диссертацию в 1963 году и докторскую в 1968 году,… …   Википедия